The Performance Analysis of Web Service Composition Based on Timed Colored Petri Net
نویسنده
چکیده
On the premise of meeting functional requirements, the performance of web service composition is key to customers. Therefore, performance modeling of web service composition has been an important research direction of reengineering. Time coloured Petri net (TCPN) can not only establish a simulation model for system behaviour, but also extract or collect many performance analysis results from the model combined with predefined data monitors, which can satisfy user demands for the performance of QOS, and solve the problems which stochastic process algebra and queue network suffer when analyzing system performance. Index Terms —TCPN, modeling, performance analysis
منابع مشابه
Deterministic Measurement of Reliability and Performance Using Explicit Colored Petri Net in Business Process Execution Language and Eflow
Today there are many techniques for web service compositions. Evaluation of quality parameters has great impact on evaluation of final product. BPEL is one of those techniques that several researches have been done on its evaluation. However, there are few researches on evaluation of QoS in eflow. This research tries to evaluate performance and reliability of eflow and BPEL through mapping them...
متن کاملTransforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets
A Web Service is a self-describing, self-contained modular application that can be published, located, and invoked over a network, such as the Internet. Web Service composition provides away to obtain value-added services by combining different existing facilities, which are then able to support the integration of commercial applications. WS-CDL (Web Services Choreography Description Language) ...
متن کاملWeb Service Automatic Composition Model Based on Colored Petri Nets
As the capability of an individual Web service is limited, it’s necessary to create new functionalities with existing Web services. Web services composition is the ability to create a new value-added service by incorporating some existing web services together. A model based colored Petri net (CPN) to provide semantic support for web service composition is proposed. The basic composite construc...
متن کاملWeb Service Composition Verification of Safety Properties Based on Predicate Abstraction
State space explosion is one of the biggest problem in model checking. Predicate abstraction technique is used to reduce the size of state space of colored Petri net models, and an algorithm was proposed to obtain the abstracted state space of a colored Petri net model without its original state space generated. A method to verify safety properties of Web service composition by abstracted state...
متن کاملQoS Measurement of Workflow-Based Web Service Compositions Using Colored Petri Net
Workflow-based web service compositions (WB-WSCs) is one of the main composition categories in service oriented architecture (SOA). Eflow, polymorphic process model (PPM), and business process execution language (BPEL) are the main techniques of the category of WB-WSCs. Due to maturity of web services, measuring the quality of composite web services being developed by different techniques becom...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- JSW
دوره 8 شماره
صفحات -
تاریخ انتشار 2013